excluded middle
noun
1.
(
logic
) the principle that every proposition is either true or false, so that there is no third truth-value and no statements lack truth-value